/*
 * Copyright (c) 2004-2008
 *
 */

#include <stdio.h>
#include <math.h>

int main()
{
   int ran;
   int count=0;

   while (count<10000)
   {
      ran = random() & 0x0fff;
      printf("%d ", ran);
      count++;
   }
}
